自动程序检验机自动程序验证程序automate: vt. 1.使(工厂、工序等)自动化。 2.使用自动化技 ...verifier: n. 1.证实者,确定者;核验者;证明者。 2.煤气计量 ...program verifier: 程序检验器automated layout design program: 自动布局设计程序automated layout program: 自动布局程序; 自动设计程序下载手机词典可随时随地查词查翻译